Some reasons for generalising domain theory
نویسنده
چکیده
One natural way to generalize Domain Theory is to replace partially ordered sets by categories. This kind of generalization has recently found application in the study of concurrency. An outline is given of the elegant mathematical foundations which have been developed. This is specialized to give a construction of cartesian closed categories of domains, which throws light on standard presentations of Domain Theory.
منابع مشابه
On the uniqueness theory of algebroid functions in some proper domain
We consider the uniqueness problem of algebroid functions on an angular domain. Several theorems are established to extend the uniqueness theory of meromorphic functions to algebroid functions.
متن کاملInterleaved Inductive-Abductive Reasoning for Learning Event-Based Activity Models
We propose an interleaved inductive-abductive model for reasoning about complex spatio-temporal narratives. Typed Inductive Logic Programming (Typed-ILP) is used as a basis for learning the domain theory by generalising from observation data, whereas abductive reasoning is used for noisy data correction by scenario and narrative completion thereby improving the inductive learning to get semanti...
متن کاملA Convenient Category of Domains Dedicated to Gordon Plotkin on the occasion of his 60th birthday
We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual ω-continuous dcppos of domain theory. Our category supports all the standard constructions of domain theory, including the solution of recursive domain equations. It also supports the construction of free algebras for (in)equational theories, provides a model of paramet...
متن کاملThe Verlinde formula in logarithmic CFT
In rational conformal field theory, the Verlinde formula computes the fusion coefficients from the modular S-transformations of the characters of the chiral algebra’s representations. Generalising this formula to logarithmic models has proven rather difficult for a variety of reasons. Here, a recently proposed formalism [1] for the modular properties of certain classes of logarithmic theories i...
متن کاملReciprocity in Open Agent Environments
This paper reports work in progress on validating and extending the research of Sen and Dutta on the evolution of cooperative behaviour in open agent environments [16]. We give a description of the problem domain in which this work was conducted and delineate its merits as a framework for investigating cooperative behaviour. We propose an environment for generalising and extending Sen and Dutta...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 20 شماره
صفحات -
تاریخ انتشار 2010